ZAVATTARO, GIANLUIGI: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Process calculi as a tool for studying coordination, contracts and session types

Bravetti, Mario, Zavattaro, Gianluigi

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 838 KB

2020

2

Service Oriented Computing: A New Challenge for Process Algebras

Mario Bravetti, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 162 KB

english, 2006

3

JOLIE: a Java Orchestration Language Interpreter Engine

Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 345 KB

english, 2007

4

[Lecture Notes in Computer Science] CONCUR 2009 - Concurrency Theory Volume 5710 || Bigraphical Categories

Bravetti, Mario, Zavattaro, Gianluigi

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

5

[Lecture Notes in Computer Science] Service-Oriented and Cloud Computing Volume 7592 || Quality Architecture for Resource Allocation in Cloud Computing

De Paoli, Flavio, Pimentel, Ernesto, Zavattaro, Gianluigi

Year:

2012

Language:

english

File:

PDF, 950 KB

english, 2012

6

[Lecture Notes in Computer Science] Service-Oriented and Cloud Computing Volume 7592 ||

De Paoli, Flavio, Pimentel, Ernesto, Zavattaro, Gianluigi

Year:

2012

Language:

english

File:

PDF, 9.42 MB

english, 2012

7

DATA-DRIVEN COORDINATION IN PEER-TO-PEER INFORMATION SYSTEMS

BUSI, NADIA, MONTRESOR, ALBERTO, ZAVATTARO, GIANLUIGI

Journal:

International Journal of Cooperative Information Systems

Year:

2004

Language:

english

File:

PDF, 306 KB

english, 2004

8

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Specification and Verification of Encapsulation in Java Programs

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 310 KB

english, 2005

9

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Checking the Validity of Scenarios in UML Models

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 312 KB

english, 2005

10

On the boundary between decidability and undecidability of asynchronous session subtyping

Bravetti, Mario, Carbone, Marco, Zavattaro, Gianluigi

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

11

Combining Partitions in SecSpaces

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 223 KB

english, 2004

12

Preface

Riccardo Focardi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 69 KB

english, 2005

13

Preface

Mario Bravetti, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 70 KB

english, 2004

14

Reachability Analysis in BioAmbients

Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 288 KB

english, 2009

15

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 254 KB

english, 2005

16

A Process Algebraic View of Coordination

Nadia Busi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 164 KB

english, 2006

17

From Biochemistry to Stochastic Processes

Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 368 KB

english, 2009

18

Secure shared data-space coordination languages: A process algebraic survey

Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 290 KB

english, 2006

19

Guest editor’s introduction: Special issue on security issues in coordination models, languages, and systems

Riccardo Focardi, Gianluigi Zavattaro

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 99 KB

english, 2006

20

Quantitative information in the tuple space coordination model

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 238 KB

english, 2005

21

Expired data collection in shared dataspaces

Nadia Busi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 260 KB

english, 2003

22

A process algebraic view of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 2.17 MB

english, 1998

23

Comparing three semantics for Linda-like languages

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 258 KB

english, 2000

24

On the Expressiveness of Movement in Pure Mobile Ambients

Nadia Busi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 718 KB

english, 2002

25

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗

Nadia Busi, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 190 KB

english, 2003

26

On the Turing equivalence of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 30 KB

english, 1997

27

Preface: Volume 85, Issue 3

Riccardo Focardi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 43 KB

english, 2003

28

Guest editors’ foreword

Doug Lea, Gianluigi Zavattaro

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 139 KB

english, 2010

29

On the expressive power of movement and restriction in pure mobile ambients

Nadia Busi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 405 KB

english, 2004

30

Comparing coordination models and architectures using embeddings

Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 281 KB

english, 2003

31

Towards a Hierarchy of Negative Test Operators for Generative Communication

Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 989 KB

english, 1998

32

On the Serializability of Transactions in JavaSpaces

Nadia Busi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 274 KB

english, 2001

33

Comparative analysis of the expressiveness of shared dataspace coordination

A. Brogi, N. Busi, M. Gabbrielli, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 159 KB

english, 2002

34

On the Expressiveness of Linda Coordination Primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 463 KB

english, 2000

35

Guest editor’s introduction: Special issue on Web Services and Formal Methods

Mario Bravetti, Gianluigi Zavattaro

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 66 KB

english, 2007

36

Service oriented computing from a process algebraic perspective

Mario Bravetti, Gianluigi Zavattaro

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 169 KB

english, 2007

37

A process algebraic view of shared dataspace coordination

Nadia Busi, Gianluigi Zavattaro

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 354 KB

english, 2008

38

Reachability problems in BioAmbients

Giorgio Delzanno, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 419 KB

english, 2012

39

[Lecture Notes in Computer Science] Formal Methods for Web Services Volume 5569 || Synthesis and Composition of Web Services

Bernardo, Marco, Padovani, Luca, Zavattaro, Gianluigi

Year:

2009

Language:

english

File:

PDF, 2.13 MB

english, 2009

40

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || Verified Reference Implementations of WS-Security Protocols

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 349 KB

english, 2006

41

[Lecture Notes in Computer Science] Formal Methods for Computational Systems Biology Volume 5016 || Petri Nets for Systems and Synthetic Biology

Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi

Year:

2008

Language:

english

File:

PDF, 1.07 MB

english, 2008

42

Behavioural contracts with request–response operations

Acciai, Lucia, Boreale, Michele, Zavattaro, Gianluigi

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 369 KB

english, 2013

43

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || A Formal Approach to Service Component Architecture

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 705 KB

english, 2006

44

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 5052 || A Process Calculus for Mobile Ad Hoc Networks

Lea, Doug, Zavattaro, Gianluigi

Year:

2008

Language:

english

File:

PDF, 578 KB

english, 2008

45

[Lecture Notes in Computer Science] Formal Methods for Computational Systems Biology Volume 5016 || Hybrid Systems and Biology

Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi

Year:

2008

Language:

english

File:

PDF, 2.05 MB

english, 2008

46

[Lecture Notes in Computer Science] Formal Methods for Computational Systems Biology Volume 5016 || Membrane Computing as a Modeling Framework. Cellular Systems Case Studies

Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi

Year:

2008

Language:

english

File:

PDF, 1.01 MB

english, 2008

47

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Compositional Operational Semantics for OWL-S

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

48

Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract)

Versari, Cristian, Zavattaro, Gianluigi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 324 KB

english, 2013

49

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - On the interplay between fault handling and request-response service invocations

Guidi, Claudio, Lanese, Ivan, Montesi, Fabrizio, Zavattaro, Gianluigi

Year:

2008

Language:

english

File:

PDF, 235 KB

english, 2008

50

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Bridging the Gap between Interaction- and Process-Oriented Choreographies

Lanese, Ivan, Guidi, Claudio, Montesi, Fabrizio, Zavattaro, Gianluigi

Year:

2008

File:

PDF, 472 KB

2008